Did that happen some time before the date of that article? I was under the impression that it was hot off the press, dated June 9, 2018, which is only a day before the drop happened.

If it really was fresh news just two days ago, I wouldn't be surprised about a 24 hour delay on market reaction. Sometimes news takes a while to spread, especially if it isn't covered by a lot of feeds.