I hope they lost big time!
No one bought puts on 12 million shares of DJT. So they didn’t lose big on a trade they never made.