Total production from international (amateur) free agents on Astros and Phillies World Series rosters