In a prelude to the official transfer of control over the Panama Canal from the United States to Panama at noon on Dec. 31, former…