Bank credit default swaps and deposit insurance around the world. (December 2016)