Josh Gibson supplants Ty Cobb as MLB career batting average leader