Genius perang ( genius of war ), Elías Martín, 19th century