Will Mike Pence announce a presidential run before 2027?

We haven't read this market's rules yet. The original text is below.