What is fastest time for a 62-year-old male to run a mile?

5:42