Norman Stone — Author, educator, historian (1941–2019)