San Jacinto Plaza, Alligator Pond