I think making the bets not anonymous is sufficient imho.
If a gov't official (including the president) is leaking classified information, there's already laws about that isnt there? (Whether it's effective is another question - i'm assuming it's currently effective).
I think that we are agreeing here, there should be regulation on the government side and laws without regulating what people can bet on.