Just clearing a bit up....
Quote:
|
The names of the Lords in due order are: Manwë, Ulmo, Aulë, Oromë, Mandos, Lórien, and Tulkas.
|
~
Valaquenta
Regardless of whether Mandos' proper name is Námo, he is still called Mandos in every instance except his description...
by Tolkien himself. Perhaps the Halls were called that because they were the Halls of Námo...or Mandos?