Wyniki na żywo Pedro Martinez vs David Jorda Sanchis w dniu 18/07 w turnieju ATP Estoril, Portugal Men Singles