Mining update: Indonesian ore ban — temporary relief but at a price