 And on Apple Music, search for Delaware Public Media. So many different ways to hear us, including on your radio. And thanks for listening. This is Morning Edition for Tuesday, July 16th. I'm Mike Rossi in Dover for Delaware Public Media. Now more from National Public Radio.