Report: Philippine government declares battle with Islamist militants over in Marawi

You are reporting the paste Philippine government declares battle with Islamist militants over in Marawi.