USA’s Katie Ledecky wins 13th Olympic medal to set all-time female record | Paris Olympic Games 2024 Sport
