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.
So, let's get cooking, and chin up, everything will be great.