Donald J. Carty was the CEO of the parent company of the airline headquartered in what Texas city?