Name change: Marlins’ Mike Stanton now known as Giancarlo Stanton