The market for betting on a US default just sprang to to life