Fryktet at 10-åring var druknet i Farsund