Of course, if the Trumps just took the shares themselves, it wouldn’t be for public use. Non-zero chance it was just theft.