Original: The Gulf of Oman used to be called The Persian Sea in maps of antiquity.
Simplified: The Gulf of Oman used to be called The Persian Sea on old maps.