Placing a bet based on insider national security information should be regarded as leaking. But the markets aren't the problem here.
You couldn’t design a better system for incentivizing leaks if you were trying. Hell, the CEO literally said as much. Not sure how you can conclude the markets aren’t the problem.
Let's make bets on "xxxx leaked yyyy info", so people will be incentived to discover/denounce who cheated.
Well markets give a huge financial incentive for it. Before you had to get paid a bribe for an intelligence agent. Now you can just "legitimately" bet on a market. It's a LOT easier and more spread out, I imagine.