President Donald Trump and DOGE chief Elon Musk have made downsizing the federal government a major priority.