So ATC employees are not being paid during the government shutdown, causing staffing issues. Why don’t all the big airlines setup ControllerLoanCo, each airline gives it a credit line, and the company gives out 0% interest loans to controllers to be repaid from back pay later?