Right, because it’s never happened that miners disagree with a change and split into a different chain…
So far, the miners don't appear to be organizing a chain split. And it would take some organizing; they'd need to defuse the difficulty bomb, get exchange support, try to get support from the people running tokens backed by custodied assets, etc. Perhaps most critically, they'd need to get a large portion of the user community to believe that PoW is better and worth sticking with. That's not happening either, and Ethereum users are very much looking forward to PoS.
And the market did make a pretty definite decision on the two forks' relative worth. ETH today is worth $2800 and ETC is at $26.
There have been lots of Ethereum forks, but ETC is the only case where the old chain stayed active. In every other case the old chain was abandoned. (Bitcoin on the other hand has multiple active chain splits.)
Meanwhile, there's no technical way for the miners to keep the switch from happening.