20170209 world.middle-east: US says it killed veteran Qaeda leader in Syria