I ran a 20:06 today, my friend ran a 17:32 though. A senior at my school has a brother who ran a 16:28!
It was my best time by a whole minute, but it's probably because it was nice and cold outside, with some pretty heavy rain-which felt great!