What is the abbreviation for Tres de mayo puerto asís colombia?

Looking for the shorthand of Tres de mayo puerto asís colombia or how to abbreviate it? We have 2 shorthands for Tres de mayo puerto asís colombia.