President Trump made history when he nominated a woman to become director of the Central Intelligence Agency. But while a woman leading the CIA was once unthinkable, female spies have made enormous, overlooked contributions in espionage.