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