Alarcón había partido para Ceuta.