To get a reasonable estimate, you'd need to consult the Washington State Office of Superintendent of Public Instruction (OSPI) for public schools and then separately research private schools, which is a more fragmented data set. You won't find a single, official number readily available.