Five-day strike of Kaiser Permanente mental health workers ends