John H writes

Check with the local Army Corps of Engineer district. They should be able to
tell you.

Good idea! Thanks very much.
John