I think Trump got the news a bit late.