Indonesian mineral export ban is mistimed idealism