Cherry Mango + Sweet Sugar Mango varieties?

[LostBoy_Dani]

I got a few mangoes from a grocery app that I haven't seen before! Can anyone identify their "real" variety names? One type is huge, red and yellow / orange, seem very soft as one is very bruised, labeled as "cherry mango". Another is very small, Melissa's Produce brand, labeled as "sweet sugar mango"

[Okvid]

It's seems the sweet sugar mango is just a local Colombian variety that's called mango de azucar.
https://www.goldenberryfarms.com/news/sugarmangonews shows that sweet sugar mango and mango de azucar are the same except sweet sugar mangoes are grown and processed better.
More info on mango de azucar:
https://www.fondazioneslowfood.com/en/ark-of-taste-slow-food/de-azucar-mango/