Gravar-mail: What happens to the external carotid artery following carotid endarterectomy?