Is there speculation regarding what miners will do instead of mining Bitcoin? For example, mining another cryptocurrency instead of Bitcoin? This would seem to have implications for the mining power for these altcoins, and perhaps implications for their prices as a result. I haven't seen any discussion about this.