MANILA— The government had spent an estimated PHP4 billion in the five-month battle to liberate Marawi City from the clutches of the Maute Group terrorists. This was...