Selon le Guardia Civil F. Aguado Sanchez, Mariscal, qui était membre du groupe de Salvador Guzman Ruiz Carasucia, a été tué en 1947 après un enlèvement réalisé à Tolox.