スゲーどうでもいいんだけどさ、ワシントンって数年前までWSHって略されてなかったっけ？
いつの間にかWASになった気がする