Finite-Time Formation Control of Under-Actuated Ships Using Nonlinear Sliding Mode Control | Synapse