As they look to fill the void left by Jorge Polanco’s departure, the Mariners are engaged in trade conversations to add a proven major-league hitter, sources say.