what important event is this text about: En septiembre de 2016, un bombardeo en la ciudad de Davao dejó 15 muertos. Más tarde, el 23 de mayo de 2017, el grupo Maúte atacó Marawi, forzando al Pte. Duterte a declarar la Proclamación N.º216, que supuso la implantación de la ley marcial en todo Mindanao. Esto dio paso a la batalla de Marawi. Para el 25 de mayo, el ejército filipino ya había anunciado su captura de la ciudad, aunque aún se daban combates que duraron hasta la semana del 16 al 23 de octubre de 2017, en la cual murieron Isnilon Hapilon y Omar Maúte (el 16 de octubre), los principales líderes de los yihadistas en la batalla, dejando atrás uno 100 yihadistas que lucharon desde un edificio cercano al lago Lánao hasta el 23 de octubre.
batalla de Marawi