Gudmund Olsen (1913-1985)