If there was an intelligent (non-space-faring) civilization on mars several billion years ago what evidence of them would still exist today?