A look at the numbers behind Katie Ledecky’s new swimming record as she passes Michael Phelps for the most individual gold medals at the world championships.