Look at strava. Lots of men in the 2:15-2:17 range ran insanely fast in the 2nd - 4th mile range and in the 15th mile. I found a guy who even ran 4:07 in the 15th mile with no HR spike. This isn’t just one or two guys—there is a trend. Could they be cheating somehow?