National record 1 mile - Kenya - men - senior
1 mile progression