cans of diet cokes have been consumed so far this year by President Trump.