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.
mnli hypothesis: The name had changed to Portinatx del Rey with great haste. premise: Immediately, the name of the place was officially changed to Portinatx del Rey (of the king).