How big is that pond?