Distributed MPC-Based Robust Collision Avoidance Formation Navigation of Constrained Multiple USVs | Synapse