Robert Joseph O'Brien (1916-2003)