Will Andrej Babis win the 2023 Czech Presidential Election?

This is a market on whether Andrej Babis will be elected president of the Czech Republic in the upcoming presidential election scheduled for January 13-14, 2023. If Andrej Babis 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.