Arrested development: why Indonesia lifted its mining export ban

main