Mining is an important industry in the basin.