pool closed to the public.