天文学家新研究:火星不但曾经拥有海洋,而且曾经发生海啸!