Decommissioning a Swimming Pool in Singapore