The Lives of John and Charles Deane, Their Invention of the Diving Helmet, and Its First Application to Salvage, Treasure Hunting, Civil Engineering and Military Uses