whose army was destroyed by the Angel of Death, is by the Orientals called King Moussal. (D' Herbelot, notes to the Koran.)