Tigers get minor-league pitcher from Red Sox to complete Jones trade The player to be named later in the Jahmai Jones trade has been named.