What is to be done about Syria?