Tungsten ore, widely used in home and industry, was mined nearby from 1942 to 1971, and at its peak it was the largest producing mine in the U.S.