Or let deSantis finish his term. There’s always 2028. As of now, by then Lake and deSantis would be the best of the bunch.
That would be ideal.