As far as I'm aware, he won't be on any ballots, and this market will primarily be about write-in votes.

I expect resolution will be somewhat delayed while we await certified counts and detailed reporting.