Spain deploys military after thousands of migrants enter Ceuta