Electric Boats and Ships: A History