はるか昔、火星の表面の約20%が海に覆われ、その深さは1600m以上あったようだ。