Donald Trump picks Elon Musk to lead a Department of Government Efficiency