Red Sox hire John Farrell to be manager