Is trading Jon Lester the Red Sox best option?