火星にはかつて海があった?水の現存量、海岸線の不一致...矛盾を解決する巨大火山群の存在