25/06、ATP Mallorca, Spain Men Singlesでの Alex Michelsen 対 Brandon Holt のライブ結果