(Some) Edut haMizrakh complete the Haggada with saying Shir HaShirim. Was this done in the Iberian Peninsula?