Technically the US cannot default, it controls the printer.

You will always be paid back nominal value for bonds, its just that the value of received dollars may be semi-worthless.