From volume XXIII of the work.See also the Project Disclaimer.
TROMP, the name of two famous Dutch admirals.