Billionaire Elon Musk, who is heading US President Donald Trump's efforts to shrink the federal government, gave an update on the effort early Monday (Feb 3), saying they are working to shut down the ...