A park ranger spent 20 hours cleaning up 4 miles of trail. How much time would it take him to clean 15 miles of trail?