Will Petr Pavel win the 2023 Czech Presidential Election?

This is a market on whether Petr Pavel will be elected president of the Czech Republic in the upcoming presidential election scheduled for January 13-14, 2023. If Petr Pavel is elected President of the Czech Republic, this market will resolve to “Yes”. Otherwise this market will resolve to “No”. If no president of the Czech Republic is elected as a result of the 2023 Czech Presidential Election before January 1, 2024 12:00 AM ET, this market will resolve to "No". The primary resolution source for this market will be official information from the government of the Czech Republic (e.g. https://www.volby.cz/). However, a consensus of credible media reports will also suffice to resolve this market.