A Compilation of the Reports of the Mining Industry of Illinois From the Earliest Records to the Close of the Year 1930