Mars's currency by Grok (AresCredit)