El Gobierno de Filipinas anuncia el fin de las operaciones militares en Marawi