Tricuspid valve surgery following septal myectomy in patients with a cardiac implantable electronic device