Código postal de Puerto la Piedra Labrada (Puerto de Carboneras) en Tejupilco, México, México