Pentagon says ISIS leader killed during Syrian raid