John Grenville — historian (1928–2011)