El municipio, Rancho El Rosario