. . . "River of Pike County, Kentucky" . .