Was Mar's huge surface gash caused by a giant asteroid impact 4 billion years ago?