A naval encyclopdia: comprising a dictionary of nautical words and phrases; biographical notices, and records of naval officers; special articles of naval art and science