National Donut Day today has patriotic roots