A giant crater may reveal the origin of Mars’ doomed moon