RIP Jimmy Carter 1924-2024

I've been watching the ceremonies for Jimmy Carter all week, and seeing the traditions, the rituals, the military discipline, the crowds of people paying their respects, and today, the five living presidents -- it all made me very proud to be an American.