Washington state supplemental operating budget