The above user's comment never claimed that Ceuta was always a part of Spain...?