Fixed-Recovery Credit Default Swap