Oldest surviving diving suit, 18th century