MLB adds home run derby wrinkle to All-Star Game in the event of tie