Stocks | Fri Dec 6, 2013 2:04am EST

Indonesia ore export ban will kill off domestic mining - industry