FINAL | Fedor Gorst vs Ko Ping Chung | 2023 US Open Pool Championship