She thought that we ought to report it. I told her that many people would already have done that. A couple of days went by and there didn’t seem to be any action.
So we finally called the Coast Guard. They said, “Wow, we didn’t know that, thanks very much!”