Police: Veteran, former patient kills 3 mental health workers in