. . "Defunct mining company of the United States" . . .