García Jiménez of Pamplona — King of Pamplona