Giant tsunamis washed over ancient Mars