В древности (вроде финикийцы) называли его Зеленым, что кажется более логичным. Действительно, есть версии о микроводрослях, которые при цветении дают буроватый, красно-оранжевый оттенок; лично я такого оттенка ни разу не видела в Красном море Если б оно только по-русски называлось красным, то можно было бы считать верной версию о том что красный - это красивый, прекрасный... Кстати, с наступающим Днем Моря!