An universal dictionary of the marine: or, A copious explanation of the technical terms and phrases employed in the construction, equipment, furniture, machinery, movements, and military operations of a ship