Will South Korea win the 2025 International Math Olympiad?

This market will resolve according to the country that wins (achieves the highest total team score) the 2025 International Mathematical Olympiad (IMO). In case of a tie, this market will resolve in favor of the tied team representing USA. If no tied team represents USA, this market will resolve in favor of the team whose country's listed name comes first in alphabetical order. If the 2025 IMO is canceled and no final results are published by August 31, 2025, ET this market will resolve to "Other." The resolutions source will be the final published results from the IMO (https://www.imo-official.org/year_country_r.aspx?year=2025&column=total&order=desc)