Red Sox manager Alex Cora reflects on decision to trade Rafael Devers: “We needed to make that move for the benefit of everybody”