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