Código postal de Estrella Roja en Venustiano Carranza, Puebla, México