Catheter Versus Surgical Ablation of Atrial Fibrillation After a Failed Initial Pulmonary Vein Isolation Procedure: A Randomized Controlled Trial | Synapse