Elon Musk stepped down from his role leading the Department of Government Efficiency on June 5, 2025