Trans–Right Pulmonary Artery Approach for Radiofrequency Ablation of Focal Atrial Tachycardia Arising From a Left Atrial Diverticulum | Synapse