You mentioned how climate change impacts the dredging aspect and increases the need for dredging when you have more fill. Currents are changing, and the water temperature affects all of these things due to climate change.
Can you talk a little bit about how you see that impacting the amount of dredging that needs to be done on a yearly basis?