Apparently…

The Maya referred to the Gulf as Chactemal, meaning “the red place,” likely referencing the reddish hues of the water at sunset or its fertile coastlines. Indigenous names were often descriptive, reflecting geographical features or spiritual beliefs tied to the environment. Unfortunately, much of this indigenous nomenclature was lost or overwritten during European colonization.

Link. I’m sure there are better ones. Hard to find good sources.

I am curious what country you’re from that they require a specific app for “official” business.

I do exactly this, right now. Perhaps I’ll go the same route as you then… I was wondering what manager to use.