. . . . "Lake of Alachua County, Florida" . . .