Trump wants the Panama Canal.