What a government shutdown will mean for NASA and Space X