Iraqi Prime Minister Haider al-Abadi appeared in Mosul on Sunday to congratulate his troops for driving the Islamic State from its onetime regional capital. Fighting against the last ISIS holdouts continues in several sectors of the city but, according to the Iraqis, the Battle of Mosul has effectively concluded.