Iron ore mining industry (Studies on Philippine industries; no.11, 1973)