What happens to credit default swap at maturity?