14/08、ATP Cincinnati, USA Men Singlesでの Alex Michelsen 対 Jesper de Jong のライブ結果