What if the Cold War had turned hot?