Donald Trump has since appointed Musk as co-chair of the new ‘Department of Government Efficiency’