Remembering when the Mexican army played with the Mexican navy