Underwater Vehicle Technology Proceedings of the Symposium on Underwater Robotic Technology (SURT 2000) at the Fourth Biannual World Automation Congress (WAC 2000), June 12-15, 2000, Maui, Hawaii, USA