. . . . "Body of water of Wakulla County, Florida" .