Names of killed sailors released

Navy divers have found seven sailors who died in a collision.