Charles “Erik” Eriksen (1923-2018)