I think if Trump asked Musk to donate SpaceX's profit on this project to reduce the national debt, he'd say yes.