Will Trump win Washington Republican Primary?

The US presidential primaries in Washington are scheduled to take place on March 12, 2024. This market will resolve to "Yes" if Donald Trump wins the Washington Republican Primary for President of the United States. Otherwise, this market will resolve to "No". If no 2024 Washington Republican Presidential Primary takes place, this market will also resolve to "Yes." The resolution source for this market will be the first announcement of the results from the Washington Republican party, however an overwhelming consensus of credible reporting may suffice.