Resultados ao vivo de Anders Antonsen vs Jonatan Christie em 28/09 no torneio Korea Open, Singles