Who was the astronomer that invented a diving bell?William HerschelEdmund HalleyEdwin HubbleTycho Brahe