On the liberation of Marawi