Hasil langsung Pedro Martinez vs David Jorda Sanchis pada 18/07 di turnamen ATP Estoril, Portugal Men Singles