In a public pool