Might Red Sox have interest in trading for DJ LeMahieu?