13/08、ATP Cincinnati, USA Men Singlesでの Henrique Rocha 対 Nicolas Mejia のライブ結果