Trump’s first stock market tweet in 25 days is actually pretty correct