See also Tromp on Wikipedia; Tromp in the 11th Edition; and the disclaimer.
TROMP, the name of two famous Dutch admirals.