Will Katie Ledecky win the most gold medals?

This market will resolve to “Yes” if Katie Ledecky wins more gold medals than any other athlete at the 2024 Paris Summer Olympics. Otherwise, this market will resolve to "No". If this athlete ties with any other for the greatest number of gold medals won, this market will resolve in favor of the athlete which won the most medals overall. If this also results in a tie, this market will resolve in favor of the athlete whose last name comes first in alphabetical order. If this athlete is unable to win the most Gold medals based on the official rules of the Olympics, this market may immediately resolve to "No". This market will resolve based on the medal figures as they stand after medals are awarded for the final event in the 2024 Paris Summer Olympics. Later changes to medal counts will not be considered toward the resolution of this market. The resolution source is the final medal table published by the International Olympic Committee (IOC).