Coronary artery spasm during aortic valve replacement diagnosed by transesophageal echocardiography: A case report | Synapse