History of Franklin County [Ohio]: