the Historic District of Panama (also known as Casco Antiguo), and the Portobelo–San Lorenzo fortifications on the Caribbean shore, to encompass both the Camino Real and the Camino de Cruces, a second ...