— древнее название Красного моря.