Kungen skall heta Alfonso.