Islamic State operative, wounded in U.S. air strike in Syria, dies: CNN