Redirecting to World record progression pole vault men