Denis Gibbs — British Army officer (1905-1984)