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.
Drew kept going forward because the coast was clear.