Which would be better for the US: Take the jobs away from one million government employees and thereby save less than $100 billion while causing massive downstream harm OR seize $100 billion from Elon Musk, leaving him with approximately $300 billion in wealth?