What is the abbreviation for Halter marine group inc?

Looking for the shorthand of Halter marine group inc or how to abbreviate it? We have 2 shorthands for Halter marine group inc.