If Mike Trout retired today, would he be a first-ballot HOFer...?