If assistance is given to HK from other lenders then it makes sense to declare a default. People will then sell their debt back to the lending cartel at reduced rate.
I think that could be disastrous. A full default of an insured fund would cause even more of a run as people withdraw their bitcoins from everywhere because they don't know who will default next.