The third John Walter, the founder's grandson, succeeded his father in 1847. What is the name of the The Times founder's grandson who succeeded his father as editor