There is no Constitutional procedure for that.
But we could sell it.....................
I thought we already did.
https://m.huffpost.com/us/entry/16325
Why Are Any U.S. Ports Owned or Operated by Foreign Corporations or Governments?