Washington state flags will be at half mast on Tuesday. | Washington state flags will be at half mast on Tuesday.