"Lake of Okeechobee County, Florida" . . . . .