['entailment']
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.
השם שונה לפורטינאטקס דל ריי בחיפזון רב.