20150723 world.us: Qaida leader in Syria killed in US air strikes