30/07、ATP Challenger Porto, Portugal Men Singlesでの Henrique Rocha 対 Eliakim Coulibaly のライブ結果