Aortic dissection type A surgery: Doppler sonography to evaluate correct carotid artery perfusion during cardiopulmonary bypass