mining [verb] + district [noun]