Wait a minute— piracy on the open sea isn’t a matter for the U.S. Navy?