20/07、ATP Estoril, Portugal Men Singlesでの Henrique Rocha 対 Pedro Martinez のライブ結果