Athlétisme : après le 1 500 m et le 5 000 m, Kipyeon bat le record du monde du mile