Even before Musk fell out with Donald Trump, the agency’s projected savings had plummeted. But he nevertheless managed to ...