Indeed. But this is the "worst case" scenario. You are right, maybe some of the big(ish) miners who don't need to cash out immediately will hold their coins, perhaps a lot of smaller miners who want to wait for the halving will hold too, but I think $15-20 per coin would be more than enough temptation for the majority to cash out.