“And in this case the ship belonged to the King of Portugal, making it a ship of state – with the ship and its entire contents belonging to Portugal. The Portuguese government, however, very generously waived that right, allowing Namibia to keep the lot.”