Ζωντανά αποτελέσματα Pedro Martinez εναντίον Tommy Paul στις 09/08 στο τουρνουά ATP Cincinnati, USA Men Singles