History of Allen County, Ohio, and representative citizens