History of Seneca County (Ohio), from the Close of the Revolutionary War to July, 1880