Question: Donald J. Carty was the CEO of the parent company of the airline headquartered in what Texas city?
Sentence (from "Port of Texas City"): The Port of Texas City is a major deepwater port in Texas City, Texas at Galveston Bay, United States.
Relevant evidence: No