Redirecting to World record progression for the Men's 10,000 m