Yeah, it totally sounds like a Spanish/Mexican dish, so the best bet is that its some local name for otherwise well-known variety(search wiki for cooking bananas) or it is some local variety closely derived from something else.
Any and all info about cooking varieties can be found here:
Search results - Bananas Wiki
Those are the most commonly cultivated varieties.