Incidentally, there’s an interesting World War I history about that canine name. During the 1918 battle of Belleau Wood in France, the U.S. Marines were fierce in their attacks. The frightened enemy German soldiers named them teufelhunden. And the Marines have proudly called themselves Devil Dogs ever since. Semper fi to all ex- and active Gyrenes from an old Navy guy!