That would be darkly hilarious, but I think it could also be the opposite way around: That there is a ceasefire shaping up, and some of Trump's staffers couldn't hold it anymore and placed bets using their knowledge - therefore accidentally "leaking" the plans.

At least I'm having my hopes up for this.

Or further, the bets themselves could be an attempt at market manipulation.