Similar Items: Formation Control for Unmanned Surface Vessels Using Lyapunov Redesign Method