Mariano Rivera sets saves record