yes, with hundreds of terrorists dead and the city destroyed. He really has no other choice. Casualties will be in far greater number if Martial law is not imposed in marawi city.