Da president Trump delte en takkehilsen til Elon Musk.