Event-Triggered Finite-Time Formation Control of Underactuated Multiple ASVs with Prescribed Performance and Collision Avoidance.