Arco de Triunfo en la Plaza de los Reyes, CEUTA