Army says battle for Philippine city to end soon, 1,000 dead on October 15, 2017 army Philippine city +