If the u s defaults on its debt