A distributed anti-collision decision support formulation in multi-ship encounter situations under COLREGs