The Panama Canal belongs to the U.S.