the Washington State Department of Transportation (WSDOT)