“Donald Trump has recently commented that he wants to return the Panama Canal to United States control.”