Text this: Predefined-Time Distributed Time-Varying Optimal Formation Control for Networked Marine Surface Vehicles Under Disturbances.