John Holden — British Army general (1913–1995)