And when exactly did the news become public? In my experience it usually takes minutes/hours between the event and the mass media covering it. I can bet it isn'

And when exactly did the news become public? In my experience it usually takes minutes/hours between the event and the mass media covering it. I can bet it isn't insider trading but algorithms reacting to news faster a human can.