Elon Musk is leading President Donald Trump's federal cost-cutting efforts.