20170806 world.middle-east: Syria army takes last IS-held town in Homs: Monitor