A history of Ohio, (Prentice-Hall history series)