A marine pocket-dictionary, of the Italian, Spanish, Portuguese, and German