Crypto plunge is cautionary tale for public pension funds