Betty Holberton's Death — This Day in Women's History