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