Port and terminal facilities at ports of Galveston and Texas City, Tex., 1941.

Tools