Missing SEALs died in raid on Iran ship, US Navy says

Two US Navy SEALs who went missing in the Gulf of Aden during a raid on an Iranian ship haven't been found and their status has been changed to deceased.