Ledecky tiene que esperar por el oro récord