What to do about Syria?