SEA Games 2023: Singapore athletes hone their mental strength for extra edge