Who was the astronomer that invented a diving bell?

Edmund Halley

Tycho Brahe

Edwin Hubble

William Herschel