Red Sea conflict heightens importance of Gibraltar Strait