[Coco] Was there ever a version of the game Super Mario for the CoCo?

[RJLCyberPunk]

This game to this day is one of the most addictive and imaginative games ever, did anybody ever made a CoCo version of it? I do not mean Super Mario Bros but Super Mario the Sidescroller original top notch game with mushrooms that make him grow or throw fireballs etc. Was this game ever ported to the CoCo and if so where can it be obtained?