World stock markets mixed after Trump-Kim summit