Port of Houston Industrial District map showing proposed modifications of channel widths to the Houston Ship Channel