Norway’s King Harald V hospitalized in Malaysia with infection