Peter Hart, military historian