I lived in China for 9 years, based on my experience I don't think they'll ban mining. China is much more relaxed on what it produces for export than what it sells domestically. Have a look where most of the world's steroids are produced. The govt will turn a blind eye to that, as long as it's for export. So I'd apply the same to mining. Make it, sell it, but don't use it.