Quatro tripulantes morrem em ataque no Mar Vermelho; há relato de ataque com míssil no Golfo