utsändande af örlogsfartyg till Röda hafvet.