Should Batavia have a public pool?