The King of Mann's father was known as the King of what?