Mr. Musk, who along with Indian-American tech entrepreneur Vivek Ramaswamy has been tapped by Mr. Trump to lead his Department of Government Efficiency (DOGE)