Ivan Oman (1929–2019)