In a sweeping effort to reduce the size of the US federal workforce, President Donald Trump, alongside Elon Musk, has ...