What is the abbreviation for Mare island naval shipyard?

Looking for the shorthand of Mare island naval shipyard or how to abbreviate it? We have 2 shorthands for Mare island naval shipyard.