Happy National Ice Cream Day! You can thank this president for it.