The U.S. Government Is Stuck With SpaceX. But Trump Can Still Hurt It.