. . . "Coal company of the United States" . . .