Do Credit Default Swaps Still Exist