Как изначально назывался мыс Доброй Надежды? Кто дал такое название и почему оно было изменено?

Мыс Доброй Надежды расположен в южной Африке на Капском полуострове. Его открыли европейцы в 1488-89 годах. Это португальская экспедиция мореплавателя Бартоломеу Диаша. Он доплыл до этого мыса и не смог продвинуться дальше из-за сильных бурь. Именно поэтому сначала было название "Мыс бурь". Однако, португальский король изменил его в надежде на то, что скоро получится найти морской путь в Индию. Это и произошло спустя 9 лет во время экспедиции Васко да Гамы.

почему название мыс бурь было изменено