Redirecting to World record progression for the mile run