omgående ble navnet på stedet offisielt endret til portinatx del rey (av kongen
navnet hadde blitt endret til portinatx del rey med stor hast
stedet falt snart "del rey" fra navnet og ble kalt bare portinatx