Top news of the day: Israel threatens to target any Khamenei successor as Iran tries to pick new leader; carried out strike on Iranian warship off Sri Lanka coast, says Pentagon chief