It will never nominally default because the government can always print money to finance USD denominated debt. We could have a fun hyperinflation cycle if no one else wants to buy new debt though.