Katie Ledecky romped to the seventh individual Olympic gold medal — she has one team gold in a relay — and…