Yes. Even if I'm on his shoes, I'd probably announce martial law in that area. Terrorist, there are gradually growing that time that they can even travel in other cities and the worst, the group of terrorist there are known internationally. In the state of our country, we cannot battle them hand to hand and they don't even consider peace talks. Therefore, proclaiming martial law in marawi is the only option. That way, we can easily sweep them by evacuating the civilians first, so hesitation because of them while in war won't hinder our soldiers.