20191120 world.middle-east: Israel strikes Iranian targets in Syria after rocket attack