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.
The eruption of the volcano is documented in the excellent Franck Perret museum.