Diagnosis of traumatic carotid artery dissection by transcranial Doppler ultrasound: Case report and review of the literature