Credit Default Swap Example