Marco Rubio, Florida Republican senator: I don't think Kim Jong-un will denuclearize