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