Are credit derivatives traded in capital market?