Did Donald Trump order piracy on the high seas?