European Credit Default Swap Option