Armando Ramon Cruz Martinez
September 6, 1933 - June 8, 2016