20170625 world.rest-of-world: Philippine military declares Eid truce in war-torn city