Penry Williams — historian; (1925-2013)