Christopher strolled 5 miles at 4 miles per hour. How long did Christopher stroll?