Hydroelectric dam in Paraguay poses a dilemma for crypto-mining