Is Trump right about the Panama Canal?