Will Max Miller drop out of the OH-07 race by September 30?

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