Who was the astronomer that invented a diving bell?

Edmund Halley

Tycho Brahe

William Herschel

Edwin Hubble