a extremely busy public pool