华盛顿大学留学生有多少人口