Thoracoscopic lobectomy for pulmonary vein occlusion after radiofrequency catheter ablation of atrial fibrillation | Journal of Cardiothoracic Surgery