King Harald IV of Norway: The funeral