Those are two different meaning of the same word though, and the one in your usage is not specifically nautical, so I’m not sure it qualifies. But a good pun nonetheless.
> Those are two different meaning of the same word though, and the one in your usage is not specifically nautical,