Ditching the craft is the right decision. Not making deals to bring the astronauts back is the wrong one. Hire Musk, the Russkis or the Chicoms.
Musk is going to get them, it was reported on Fox about 30 minutes ago!!!