terminating the skirmish Synonym