All things considered, if you were the Padres’ GM, would you trade Tatis Jr. for any other player in MLB?