Good to know. The U.S. Treasury might get all of its money back. As for the bondholders . . . well, about that . . . .
But at least the unions were saved. LOL!