Battleship linoleum comes/ came in three thicknesses; 1/4", 3/16" and 1/8" (heavy, medium and light). A hospital design book I found online warns the architect to be cautious of the substitution of 6mm linoleum for the heavy grade.
According to this same guide, the USN Specification 29LIC is to be listed when ordering the stuff. It was also noted that the color is added and there are ranges available, but red brown was preferred as it "went with any decor". Love those light green walls.
Another source I found complained of the USN's habit of repeatedly shellacing the surface, the problem being that shellac is alcohol based and attacks the linoleum. These shellacs had the ability to be tinted as well.