Mine production of zinc, monthly report 87-91; mine production of zinc in United States in May-Sept. 1948.