Live uitslagen van Pedro Martinez tegen Tommy Paul op 09/08 in het ATP Cincinnati, USA Men Singles-toernooi