Well since Morocco wants Ceuta so badly...Spain can just give it to them and all the new Migrants that Morocco says they won’t take back. They can become Morocco’s problem! Spain could hardly control it anyway and this “invasion” is proof!
This makes the straits of Gibraltar a potential Muslim chokepoint. All IRGC needs is some inroads/bribes to Morrocco to station missiles and drones at Ceuta. Another good reason to blast the IRGC is Kingdom Come. They are a Muslim cancer.