Mining royalties should be shared with 20 percent going to the county government.