Spain’s intelligence services had warned of possible mass crossings by migrants and asylum seekers into Ceuta just before tens of thousands of people arrived in the Spanish enclave in late July, according to declassified documents.