20170710 world.middle-east: Iraqi troops push to clear last Mosul ground of IS militants