The Form 4 shows they were sold today.
Not to worry though, his trust still owns more than 400 million shares. A trust, wonder what kind of tax sham this is.
What price did he get?