Ledecky’s triumph in the 800m freestyle on the penultimate night of Olympic swimming put her on a short list of athletes to four-peat in an individual Olympic event, and also made her officially the ...