20170711 world.middle-east: Iraqi declares 'total victory' over Islamic State in Mosul