Risultati in diretta di Pedro Martinez vs Tommy Paul il 09/08 nel torneo ATP Cincinnati, USA Men Singles