Crypto Miner Chun Wrestles with Moral Dilemma After Paxos’s Half-Million Dollar Error