Atrial Fibrillation Stroke Risk Decreases from Radiofrequency (RF) Catheter Ablation