Directeuren Bitmain ruziën vrolijk verder, 10.000 Bitcoin miners verdwenen