Más de mil muertos y una ciudad arrasada; ese fue el balance de la batalla de Marawi. En mayo de 2017, combatientes de la milicia terrorista Estado Islámico tomaron esta ciudad de mayoría musulmana. El ejército filipino tardó 5 meses en liberarla.