Syrian ISIS leader killed in Mosul operation