Trump, North Korea’s Kim Jong Un sign unspecified document