Als Präsident Trump eine Dankesnachricht für Elon Musk teilte.