Americans of a certain disposition are cheering and thumping their chests in celebration of the fact that their navy, the largest and most-expensive navy in the world, just sank the first “enemy warship” with a torpedo fired from a US submarine since the Big One that...