Global Times: Trump-Kim Summit fails, but not all progress is lost