The fiercest urban battle in recent history, to retake the city of Mosul from ISIS, lasted nine months.