Who got the better end of this deal? The Padres or Fernando Tatis Jr.?