The Civilization computer game came out in 1990. Is there any record of world leaders playing it, and did it highlight interesting things about their mindset?