Thoracoscopic lobectomy for pulmonary vein occlusion after radiofrequency catheter ablation of atrial fibrillation | Synapse