A long-lost moon could explain Mars’ strange shape and extreme terrain