In the previous proposal, the MARS Token was removed from the Token Registry due to an incorrect IBC Denom. In this proposal, we add the correct MARS token back to the Token Registry. Therefore, we kindly request your vote of 'Yes' if you support this proposal or 'No' if you oppose it.