توقف عملیات در دریای سرخ/ ارتش یمن: آتش‎بس شامل اسرائیل نمی‎شود