What is the abbreviation for Allensworth state historic park?

Looking for the shorthand of Allensworth state historic park or how to abbreviate it? We have 2 shorthands for Allensworth state historic park.