Hasil langsung Pedro Martinez vs Tommy Paul pada 09/08 di turnamen ATP Cincinnati, USA Men Singles