"default credit swap"