Kenyan star clocks 4:07.64 to add mile all-time mark to historic 1,500 and 5,000 efforts this year, as seven women run national records; Ali leads four Americans to sub-12:40 in 100 hurdles, Warholm and Kinyamal also achieve world leads

By David Wood...