US, global stock markets mixed after Trump-Kim summit