What is the fastest mile ran by a thirteen year old?

I couldn't find any records by a 13 year old boy, but a nearby middle school has the record of a 4:46 set by Reuben Reina, so I'm pretty sure it's less than a 4:40.