Katie Ledecky wins 4+ gold medals?

This market will resolve to "Yes" if Katie Ledecky wins 4 or more gold medals in the Olympic Games Paris 2024. Otherwise, this market will resolve to "No". This market will resolve once all events Ledecky is eligible to compete in have been completed, or otherwise once Ledecky has won 4 or more gold medals. If at any point it becomes impossible for Ledecky to win 4 or more medals, this market will immediately resolve to "No". The primary resolution source for this market will be official information from the IOC, however a consensus of credible reporting will also be used.