Immediately, the name of the place was officially changed to Portinatx del Rey (of the king).
The place soon dropped "del Rey" from its name and went back to being called just Portinatx.
mnli hypothesis: The place soon dropped "del Rey" from its name and went back to being called just Portinatx. premise: Immediately, the name of the place was officially changed to Portinatx del Rey (of the king).