"Lake of Johnson County, Arkansas" . . . .