Enrico Rocchi, ingegnere militare e storico.