CENSUS OF MINERAL INDUSTRIES: 1972 - UNITED STATES.