heh, they got their stock in 2017 and they probably sold it the day they got it.
They paid a price equal to the lowest price in the preceding 5 days. That China PR caused the stock to spike. They would have been fools not to dump, knowing what they knew: that the whole deal was shaky at best.