What is the abbreviation for Washington double star?

Looking for the shorthand of Washington double star or how to abbreviate it? We have 1 shorthands for Washington double star.