Does China control the Panama Canal, as Trump claims?