Código postal de Puerta de la Barranca en Doctor Mora, Guanajuato, México