Digikey, Mouser, others:
There are a ton of them in various sizes, 4 char, 8 char, even a 2 row 16 char (it is just two 8 chars mounted to each other).
The best ones are:
hcms-2905
hcms-2915
hcms-2925
hcms-2965
hcms-2976
Don't let the 3.3V ones dissuade you, they still can handle 5V and are even brighter than the 5V versions.
hcms-3906
hcms-3966
hcms-3916
hcms-3976
hcms-3907
hcms-3967
hcms-3917
hcms-3977
There are a lot more, but these are the best in terms of brightness vs. current used. They have a ton of traditional orange, yellow, green, and red models that consume much more current for the same level of brightness.
FWIW, the smaller 3.7mm makes smoother looking characters in my opinion, but the larger 4.6mm are bigger though the pixels stand out more.