For the record, a state has defaulted on its bonds in the last 80 years.