1880 U. S. census, Washington County, Ohio