Some hotels on the coast have sea water pools - how do they get the water to
fill them? - is it delivered by tanker - or do they run a pipe out to the
sea and use a pump - or is there a permanent pipe to the sea?