Derogado.
TEXTO CORRESPONDIENTE A
LEGISLACIÓN ANTERIOR
Artículo noveno. El Jefe de la Administración del Distrito Especial se denominará Alcalde Mayor, y será nombrado por el Presidente de la República.
El Alcalde Mayor podrá designar Alcaldes Menores en las zonas del territorio del Distrito Especial que estime conveniente.