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