Can Elon Musk Cut Two Trillion Dollars From the US Budget?