 And you're listening to Morning Edition on listener-supported Maine Public Radio. Good morning. Thank you for joining us on this Tuesday. It is the 16th of July. We're at 10 minutes now before 9 o'clock.