Michaelsen, Robert S., 1919-