Araguia Rotala mexicana ‘Araguia’, a less weedy variety of Rotala.