What should the Red Sox do regarding Pedro Martinez?