Granted the airlines were not the best managed gang...but costing them a billion in short term cash flow and telling them "deal with it" is just a tad drastic.
Perhaps...with one difference: I believe the terrorists cost them a billion or so in short term cash flow, not the government.
In the end, it doesn't matter. The airlines have the cash.