What is the name of this cardinalfish

[firepig36]

So I just visited my LFS a few days ago and I had a crush on a little fish.They were selling these fish as a just "cardinal" and I purchased a pair of them.After I get home,I wondered the name of them and tried founding their name on Google but I failed.I need your help!!

 

[Soren]

I think they might be Seal's cardinalfish, Ostorhinchus sealei.
Link 1, Link 2, Link 3
I just discovered these recently and might be planning to add them to my reef instead of yellow-striped cardinalfish in the future.