"Old Main" on the campus of what is now Western Washington University