Note 285 — LIFE OF POMPEIUS.
George Long translation
This is the Indian Ocean. The name first occurs in Herodotus. It is generally translated the Red Sea, and so it is translated by Kaltwasser. But the Red Sea was called the Arabian Gulf by Herodotus. However, the term Erythræan Sea was sometimes used with no great accuracy, and appears to have comprehended the Red Sea, which is a translation of the term Erythræan, as the Greeks understood that word (ἐρυθρός, Red).