"Jefferson County, Ohio"@en . .