Immédiatement , le nom de la place fut officiellement changé en portinatx del Rey ( du roi ) .
L' endroit a bientôt laissé tomber " Del Rey " de son nom et est retourné pour être appelé juste portinatx .