There were some discussions around this soon after the 2016 US presidential election, stating that the president-elect only had 1-2 banks willing to offer loans. As well as indicating that the estimated market value of the debt instruments was around 72 cents per USD. But, it being around 4-5 years ago, I only have vague memories and hearsay.