التشكيلات Brunei DPMM FC - BG Tampines Rovers (1-0), Singapore Cup 2023, Singapore