President Trump and Elon Musk are leading a massive downsizing of the U.S. federal workforce, cutting or targeting nearly 200 ...