El municipio se denominaba Ocón y Mozoncillo.