. . "Body of water of Hopkins County, Kentucky" . . .