This market refers to the tennis match between Henrique Rocha and Pedro Martinez in the Estoril Open, originally scheduled for July 20, 2026 at 11:30AM ET. This market will resolve to 'Henrique Rocha' if Henrique Rocha advances against Pedro Martinez. This market will resolve to 'Pedro Martinez' if Pedro Martinez advances against Henrique Rocha. If the match is canceled (not played at all), ends in a tie, or is delayed beyond 7 days from the scheduled date without a winner determined, this market will resolve to 50-50. If the match begins but is not completed, and one player advances due t...