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.
Particularly impressive is the way that the influence of the Milliken Men cuts across the usual political lines.