Venezuelan bonds: Chavez’s death all priced in?