They don't need to do anything with BTC, but converting USD into a full blown crypto is what they can do. Think of LeoStrategy on steroids to pay the debt and I didn't mean devaluing crypto, just the dollar. How they can wipe out the debt in one fell swoop is beyond me though.