Swimming pool at a resort