 And what made that whole incident kind of amusing was the Spanish Marines interdicted that shipment of scud seas to a government friendly to the United States. And the president actually picked up the phone and called George W. Bush and said, can I please have my missiles back? And we let them take the missiles. Of course, those missiles were later taken over by the Houthis, which was not a good thing, as you know.