History of Greene County, Ohio; embracing the organization of the county, its division into townships, sketches of local interest gleaned from the pioneers from 1803 to 1840, together with a roster of the soldiers of the Revolution and the War of 1812, wh