Código postal de Manzana del Puerto en Villa de Allende, México, México