Kong Harald IV av Norge: Begravelsen