Código postal de Enrique Velasco Ibarra en Santa Cruz de Juventino Rosas, Guanajuato, México