Credit Default Swaps and the Empty Creditor Problem