Mercy Cherono (KEN) gets the win, with the second fastest time in history at 9:11.49. Counting as a 5000m, it’s Cherono’s third win, with just the final left.