No joke. Trump had a Diet Coke button.