Elon Musk has left the White House — but not DOGE