Código postal de San José de Porto (San José de Hidalgo) en Tarandacuao, Guanajuato, México