What Do We Know about Jerry’s Pond (Jerry’s Pit)?