A dictionary of naval slang. (2021)