20150722 world.us: Strike kills senior al-Qaeda leader in Syria: Pentagon