This market will resolve according to the winner of the Democratic primary election for the mayor of Washington D.C., scheduled to be held June 16, 2026. If no 2026 D.C. Democratic Mayoral Primary takes place, this market will resolve to “Other.” The resolution source for this market will be the first official announcement of the results from the D.C. Democratic Party; however, an overwhelming consensus of credible reporting may suffice.