AMCcommon
A 38-year-old man develops left-sided neck pain and a new unilateral headache after forceful neck stretching. He has a mild left ptosis and a smaller left pupil, but limb power and speech are normal. He has no lacrimation, nasal congestion or nausea. Which one of the following is the most likely diagnosis?