Anton, Navarra, König