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