Marina Bay Sands, the highest pool in the world