8.4 太阳系最大的海洋是怎么被发现的？