The meeting and working lunch between North Korean leader Kim Jong Un and US President Donald Trump ends.