DIARIO DO BRASIL | TECNOLOGIA Marte: rover chinês encontra vestígios de oceano que existiu por mais de 1 milhão de anos PorThiago Barbosa maio 31, 2026