Federico Arcos (July 18, 1920-May 26, 2015)