Dans les temps modernes, le nom de mer Rouge est particulier au golfe Arabique mais les anciens appliquaient à la mer qui s'étend depuis ce golfe jusqu'à l'Inde, la dénomination de mer Érythrée, d'un roi Érythras, dont on ne connaît rien de plus que le nom, qui, en grec, signifie rouge. D'après la signification accidentelle de ce mot, on s'est imaginé que cette mer était d'une couleur différente des autres, et par conséquent d'une navigation plus dangereuse.
NOTE 7, SECT. I, p. 514.
 