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