Men's 5000 metres world record progression