4 killed in Washington mall shooting