The one Mariano Rivera do-over Edgar Martinez wishes he had