Who was the astronomer that invented a diving bell?

Tycho Brahe

Edmund Halley

Edwin Hubble

William Herschel