Thomas Cook Bonds Hit as Cost to Hedge Against Default Jumps