Do You Think They'll Use the US Dollar on Mars?