I think it's the right move, the situation in Marawi city is hard to control since the terrorist group that is controlling the city now is some how organized. It's best if the president will declare martial law in this city. I think it would help the people of Marawi city. And, it would be easier for the military to carry out their plans.