Combat operations terminated in Marawi