Obituary for Mason, Robert