district [noun] + mining [verb]