Right. I'm not disputing that the canal is, in fact, owned by Panama today. Nor am I suggesting the US should take it back even though I think it was pretty stupid to give it away.