Trump definitely shorted, a tweet exploded to $289 million.