Trump mourns death of Norway’s King Harald as ‘a truly big loss’