/ 纳瓦拉国国王的名字是谁取的呢英文翻

纳瓦拉国国王的名字是谁取的呢英文翻