History of Randolph County, Indiana: With illustrations and biographical sketches of some of its prominent men and pioneers : to which are appended maps of its several townships