Código postal de Puerto Las Cruces en Cuajimalpa de Morelos, Ciudad de México, México