Código postal de Puerto de Trojes (La Troje) en Doctor Mora, Guanajuato, México