Josh Gibson is now officially Major League Baseball's all-time batting average leader ... and Albert Pujols couldn't be happier about it -- telling TMZ Sports the MLB's decision to integrate Gibson's Negro Leagues numbers into its record book is "a great thing for baseball."