 And Delaware Public Media is always available to you on Amazon Alexa and Google Home smart speakers. Just ask them to play Delaware Public Media. Good morning and thanks for listening. I'm Mike Rossi. It is Monday, July 8th, 751. More of Morning Edition from Delaware, excuse me, from Delaware Public Media and NPR next.