Robert Louis Wilken — historian (1936–2026)