Meer Nederlandse militaire goederen naar Israël, ook na 7 oktober