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"): The airport is southwest of the city of Nederland in unincorporated Jefferson County, and is used for general aviation.
Relevant evidence: No