the district of el tejar has been designated as the capital