Fatal End of a Safety Algorithm for Pulmonary Vein Isolation With Use of High-Intensity Focused Ultrasound | Synapse