just exactly what military alternatives does Trump have actually really in Syria?