ふと思ったけど、潜水艦モノなんかで「ピンを飛ばす」ってあれ英語でいうPingなの？