Spanish intelligence services warned of social media calls for a mass migrant crossing into Ceuta the day before tens of thousands of people entered the territory, newly released government documents show.