15/09、ATP Challenger Columbus, USA Men Singlesでの Michael Zheng 対 Garrett Johns のライブ結果