US credit default swaps have hit a record high