The third John Walter, the founder's grandson, succeeded his father in 1847. What year did the founder's grandson succeed his father as editor of The Times?