What took place after a cease fire in Nicaragua?