Ethiopia's Dire Tune set a new world record in the one-hour run