Zwei US-Navy-SEALs, die Anfang dieses Monats im Golf von Aden bei einem Überfall auf ein iranisches Waffenboot vermisst wurden, wurden nach einer gründlichen Suche nicht gefunden und ihr Status wurde auf „Tot“ geändert, sagten Militärbeamte am Sonntag.