I can’t process this trade. If I run it before importing the team exports, it breaks the export for the Expos and the Red Sox. And if I import first, then obviously the player is not on the Expos. The only way this would have worked is for Michael to have re-done his export so that Johnson was still on the team.
Boston will need to sign the player as a free agent.