If Singapore used to hold the record for the world’s highest swimming pool ever created (250