Whew, that's fast... just a tad over 5 min/km and not a flat course either. (~3.8 min/km adjusted for climb)
Beat out a number of notable runners like Jorgenson, Ropek and Salmi too...
Very impressive...
The maps from the middle distance finals:
men's
women's