Text this: Formation Control for Unmanned Surface Vessels Using Lyapunov Redesign Method