The North Korean leader and US president sign a document after their historic summit in Singapore.

The details of that document have not yet been provided but President Trump described it as "pretty comprehensive".