Divers missing in Villasimius, third day of searches: a robot and a minehunter ship also in action