Keputusan langsung Henrique Rocha menentang Pedro Martinez pada 20/07 dalam kejohanan ATP Estoril, Portugal Men Singles