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