Immediately, the name of the place was officially changed to Portinatx del Rey (of the king).
The name had changed to Portinatx del Rey with great haste.
The place soon dropped "del Rey" from its name and went back to being called just Portinatx.