In 1963, a notable double agent providing valuable and high-quality reporting for The Times during a war in the late 1930s eventually defected to which country