small swimming pool in a resort .