pete (the high king)