Will DeSantis win the first Republican debate?

This market will resolve to "Yes" if Ron DeSantis wins the first republican debate. Otherwise, this market will resolve to "No". This market will resolve according to 538's 5-point scale post-debate poll for how the candidates fared. If DeSantis ties for first on the scale (e.g. he ties for first with 4.2), this market will still resolve to "Yes." For the pre-debate poll, not considered for this market, see https://projects.fivethirtyeight.com/republican-debate-august-poll/. If 538 becomes permanently unavailable or does not provide this information by August 30, 2023, 11:59 PM ET, a consensus of credible reporting may be used.