What was the nickname of Lawrence Peter Berra, a former Major League Baseball player and manager who played almost his entire career for the New York Yankees and was elected to the baseball Hall of Fame in 1972?