Mining and manufacturing industries in Costa Rica (United States Tariff Commission, 1945)