Robert H. G. Edmonds — British diplomat (1920-2009)