re: #882 JCM

A bunch of Navy careers are over for sure.

So I am told.

Naval types are embarrassed over minor collisions with wharfs, and whole careers have gone down the tubes over them. I can’t imagine what colliding with a shoal in harbor is going to do.