High swimmer- pool on a Singapore's skyscraper's roof