Rodriguez de Rivas, Mariano
type: Person
alternate name: Rodriguez de Rivas, Mariano