Original: JFK International Airport is the base of operations for JetBlue Airways and is a major international gateway hub for American Airlines and Delta Air Lines .
Simplified: JFK airport is the base of operations for JetBlue Airways .