据监管文件，马斯克出售了特斯拉股票。