 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 a military.