20171023 world.south-asia: Five-month battle with ISIS ends in Philippine city: Defence secretary