I was driving, and had just picked up my son who arrived in town for the holiday, so only half listening. I’m pretty sure it was either local WashDC news or the talk radio station that carries Rush/Mark. If I hear or read again, will post to you.
Thanks appreciate it.