Question: What major U.S. airline and the world's largest low-cost carrier headquartered in Dallas, Texas, ended service at Jack Brooks Regional Airport in 1980?
Sentence (from "Jack Brooks Regional Airport"): It was formerly the Jefferson County Airport, but its name was changed to honor former U.S. Representative Jack Brooks (D - Beaumont).
Relevant evidence: No