Ciro Redondo murió el 29 de noviembre de 1957 en el combate de Mar Verde, durante una emboscada.