The Panama Canal has bigger problems than Trump