Live uitslagen van Pedro Martinez tegen David Jorda Sanchis op 18/07 in het ATP Estoril, Portugal Men Singles-toernooi