海洋是地球形成时就有的吗？