How did the invasion of Iraq end?