In other news, Nikki Haley did a thing, Trump says he doesn't know a thing, and the Republican platform ignored a thing.