Trump Is Right About the Panama Canal