Who was the astronomer that invented a diving bell?

Edwin Hubble

Tycho Brahe

Edmund Halley

William Herschel