Has a nickname fit a player better than Big Papi does David Ortiz? He’s had a career that lived up to it.