When was the name 'white dwarf' first used?

**********