Trump and allies such as billionaire Elon Musk have carried out blitz campaign meant to thin the government workforce.