Leverage Externalities of Credit Default Swaps