M. R. D. Foot — military historian (1919-2012)