I63.031: Cerebral infarction due to thrombosis of right carotid artery