. . . . . . . "Mining company of the United States" . . . . . .