Mitch McConnell steps down from Senate before his term ends?

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