DMI announces the names of ISIS leaders killed Saturday in Anbar