What is the abbreviation for Washington group international inc?

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