Port and terminal facilities at port of Corpus Christi, Tex., 1941.

Tools