A great nautical dictionary from the days of sail and steam