Texas City, Tex. Galveston, Houston, Texas City, and Corpus Christi, Tex.: pt. 3, Ports of Texas City and Corpus Christi, Tex. Revised 1935.