If it was important that you knew the model/brand, then you should have bought them from a US distributor.
If it wasn't important, then as long as they light up (and continue to do so) you should be happy.
I'd be super impressed (and skeptical) if someone can tell you the part number and manufacturer - I can't do that even with a Digikey sourced LED once it is out of its shipping bag.
cheers,
george.