They look like 9 or 10mm (jumbo) LEDs but I don’t know that you’ll be able to find the exact ones today - Enterprise was made not long after the first white LEDs were available to consumers [at non-astronomical prices], so even the best white LEDs at that time still had a significant blue cast to them.
If you aim for today’s lower-end white LEDs you might end up with something close. If they’re not already labeled as “cool white,” something to help your search will be to review the data sheets as they will sometimes list the color temperature/wavelength.
Here’s the only 10 mm white through-hole LED I found at both Mouser and Digikey (both listed it, Mouser’s cheaper). I may be looking at the wrong categories as surely more are out there. I can’t tell what its color temp is though.
The one you linked above seems too small, also you’ll want one labeled as “white” or “cool white”