What is the abbreviation for Washington community technical college?

Looking for the shorthand of Washington community technical college or how to abbreviate it? We have 2 shorthands for Washington community technical college.