火星に存在した広大な海は32億年前に消失した (ニュースイッチ by 日刊工業新聞)