The folly of making political prediction markets like Intrade illegal