About how many acre feet of water are in the pond?