Resultados ao vivo de Pedro Martinez vs Tommy Paul em 09/08 no torneio ATP Cincinnati, USA Men Singles