The ship's cat was a long-standing tradition in navies around the world.