El tiempo final de 3:33.48 fue un nuevo récord del mundo.