Indonesian and Malaysian fighters were among those killed in the clashes in Marawi, the military says. Video by RTVM/edited by RYAN LEAGOGO
