[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?