A Tesla Executive Sold Stock. It Wasn’t Elon Musk.