Wyniki na żywo Pedro Martinez vs Tommy Paul w dniu 09/08 w turnieju ATP Cincinnati, USA Men Singles