Elon Musk resigned from his position leading the Department of Government Efficiency. What does he leave behind?