Ledecky consigue su medalla 13 en Olímpicos