18/07、ATP Estoril, Portugal Men Singlesでの Pedro Martinez 対 David Jorda Sanchis のライブ結果