"River of Jefferson County, Ohio" . . . . .