Hemen, yerin adı resmen Portinatx del Rey (kralın) olarak değiştirildi.
Adı büyük bir aceleyle Portinatx del Rey olarak değişmişti.
Yer yakında adından “del Rey” düştü ve sadece Portinatx çağrılmaya geri döndü.