settling a skirmish Synonym