Your first pic has two different species - aside from the angelfish - in it; the ones with the horizontal stripes on the stomach and the one without them.
The one without the stripes do seem to be (as mentioned above) either Ostorhinchus taeniophorus or Ostorhinchus cookii. O. taeniophorus seems slightly more likely to me, as O. cookii typically has a more distinctive dot where the stripe ends at the center of the tail.
The ones with the stripes are very interesting. The only cardinalfish I'm aware of with vertical striping similar to that is Ostorhinchus pleuron, which seems to be the best fit. However, most specimens I can find pictures of seem to lack the stripe below the eye displayed by yours (you can see hints of this line on a few specimens, but I'm not sure if the line being clearly present as it is on your specimens indicates their being a separate species, or if it's only sometimes present as a feature, if it fades with age, if the preserved specimens had decayed enough to lose the visibility of the stripe, etc.). A similar (if not the same) issue of apparent fading seems to be present with the vertical striping as well, where some specimens display the vertical stripes quite clearly, but others seem to merely display a slightly darkened hue/tint to their scales where the striping is/was/should be/would be. I would guess these striping discrepancies are due either to age (i.e. loss of juvenile coloration/growing into adult coloration), decay of the specimen, phenotypic elasticity (i.e. variation in how specimens look despite being the same species), or to it just being a different species.
TLDR; my guess for the one without the vertical stripes is Ostorhinchus taeniophorus (though Ostorhinchus cookii also seems plausible to me), the two with the vertical stripes I would guess Ostorhinchus pleuron.
