Hicham El Guerrouj sets a world record in the mile