IN THE NAVY: It's the official song of the U.S. Navy, my boys