US president thanks North Korean leader Kim Jong-un and greets three Americans released by Pyongyang.<br />
