Twenty-Five Indonesian Tin Producers Extend Export Ban to Help Lift Prices Industrial Metals Investing