Polymarket users bet on whether the U.S. would invade Venezuela, but the prediction market said Venezuelan president’s capture did not constitute an invasion.