Public swimming pool known as Teferic Pool.