Musk, en los últimos días, ya había adelantado que se proponía dejar el Gobierno y centrarse en sus empresas