What was the fastest mile ever run by a 13yr?

I'm 98% certain there's not a kept record for that specific thing...