Yes this may spike a tad if congress gives them some funds, but imo the funds will be just a short term band aid until they bring their labor costs down and build a better product.
And that scenerio is why the senior bonds are a good play. In a bk, the bonds would have a senior debt claim of $25, yet they cost only $4 right now. If it's some form of quick bk, the senior debt would probably get new shares while the commons might get killed.