Well there is this story about a bored capatain that got sunk by a merchie after a port raid...
Bored to death...
On the actual question I think not, but in the almost 6 years of all out madness, which wwII was, who knows? Maybe the more serious scolars of the era will provide both of us with an answer. Interesting question though!