Is it true? Did Oklahoma really make November 5th a Donald Trump Day? Please say it isn’t so.