Su tiempo de 1:43,00 era un nuevo récord olímpico.