Counterparty Risk Externality: Centralized Versus Over-the-Counter Markets