John Deane — Joint inventor of the diving helmet (1800–1884)