Norway’s King Harald V receives permanent pacemaker