Will player F be the first round leader at the 2025 U.S. Open?

This market will resolve according to the player who is the first round leader The 2025 U.S. Open. In the event of a tie, this market will resolve according to the player ranked highest in the Official World Golf Rankings at the conclusion of the round. If no first round leader is announced by December 31, 2025, this market will resolve to "Other". The primary resolution source will be the first official results published by the U.S. Open website (usopen.com).