The Trump-Kim peace summit has been downgraded to a half day