US President Donald Trump and North Korean leader Kim Jong-un during their summit in Singapore. Photo: Xinhua