The Panama Canal has bigger problems than Donald Trump