Coronary vasospasm complicating atrial fibrillation ablation: a case report and review of the literature. Issue 4 (3rd July 2020)