The coal and iron of southern Ohio, considered with relation to the Hocking Valley coal field and its iron ores