What is a credit default swap: Explained with Real-World Examples