Código postal de El Puerto del Blanqueadero (Peñas Pintas) en Tejupilco, México, México