Michael Degruy discovered an ocean within the ocean