Will another Player win the 2025 US Open?

This market will resolve to the player that wins the 2025 US Open Men’s Singles Tournament. The market will resolve to “Yes” if another player not listed wins the 2025 US Open Men’s Singles tournament. Otherwise, this market will resolve to “No”. If at any point it becomes impossible for this player to win the US Open Men’s Singles Tournament per the rules of the US Open, this market will resolve to “No”. The primary resolution source will be official information from the US Open (https://www.usopen.org), however credible reporting may also be used.