¿En qué año dejó de ser panameño el Canal de Panamá?