Devis Chosen as Wash. State Printer