A ring of spies, a nation at war, and the musical bringing history to life