Keputusan langsung Pedro Martinez menentang Tommy Paul pada 09/08 dalam kejohanan ATP Cincinnati, USA Men Singles