Código postal de La Peña del Halcón en San Juan de los Lagos, Jalisco, México