Four crew, two rescuers killed in Red Sea attack; US strikes ship in Gulf of Oman