Ledecky being Ledecky, she fired off the best time (1 minute, 55.6 seconds) of Tuesday morning, one that would put her fifth in the world rankings for 2016. She already holds the best time of the year, of course.