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