Title: The domestic mining industry of the United States in World War II