which swimmer left rio de janeiro and is part of a swim club that produced a number of olympic medalists ?
katie ledecky