Resultados en vivo de Pedro Martinez vs Tommy Paul el 09/08 en el torneo ATP Cincinnati, USA Men Singles