Public pools