La Armada de México jubila a Frida, la valiente perra rescatista