 And, of course, we don't know the details, but those kinds of attacks have happened in the Red Sea against U.S. Navy assets. And they haven't had a major impact. Will they? Could they? Sure. So far, it would appear that we're dealing with it as the military, the Navy particularly, is dealing with those threats. Are they going to always be able to do it? I don't know.