Íñigo “Arista”, king of Pamplona