Total production from trade acquisitions on Astros and Phillies World Series rosters