Richard Worsley — British Army general (1923-2013)