Elon Musk, alongside Donald Trump, announced efforts to downsize the US federal government through the Department of ...