What is the fastest mile run by someone 50 years old or older?

My husband is 51 years old and he ran a mile in 7:32 minutes.

That's not very fast, Masters category which is highschool and above. Ive seen a 50 year old run it in under 5:00 minutes.