Actually, the US has already defaulted. Many times.