Mine production of copper, monthly report, 84-89; mine production of copper in United States in May-Oct. 1948.