Sir David Gilmour, 4th Baronet — British historian