4,857,985 shares traded on July 12 at 11:24. Who might have been the buyer and seller? Hayden seller?