And even before that, during Roman times, it was called Mauritania Hispania and it was considered part of Hispania. We are talking about millennia of history here backing up that Ceuta is part of Spain.