Teníamos indicios de que en Marte hubo un gran océano. El rover chino Zhurong acaba de encontrar la línea de costa