Spanish Leader Says 5,000 Migrants Are Still in Ceuta, Weeks After Border Surge