Port and terminal facilities at ports of Mobile, Ala., Gulfport and Pascagoula, Miss., Pensacola, Panama City, and Port St. Joe, Fla.