And I don't know if you guys know who Katie Ledecky is.

Discussion