The double bottom or twin-hulled ship of Sir William Petty