IS East Asia leader slain in Marawi - Sadongdong, Martin A. (Manila Bulletin, 2023)